Interleaving isotactics – An equivalence notion on behaviour abstractions
نویسندگان
چکیده
منابع مشابه
An Abstract Equivalence Notion for Object Models
Equivalence notions for object models are usually too concrete in the sense that they assume that the compared models are formed by elements with the same names. This is not adequate in several situations: during model refactoring, when using auxiliary model elements, or when the compared models comprise distinct but corresponding elements. So, in this paper, we propose a more abstract and lang...
متن کاملA Notion of Equivalence for Multimedia Documents
In this paper we aim at defining a notion of equivalence for multimedia documents which can be described according to different models. If we consider a presentation as a collection of media items and constraints among them, the same temporal behavior can be defined in different ways. In particular, using SMIL language, different sequences of tags can describe the same temporal behavior which c...
متن کاملA General Notion of Equivalence for Abstract Argumentation
We introduce a parametrized equivalence notion for abstract argumentation that subsumes standard and strong equivalence as corner cases. Under this notion, two argumentation frameworks are equivalent if they deliver the same extensions under any addition of arguments and attacks that do not affect a given set of core arguments. As we will see, this notion of equivalence nicely captures the conc...
متن کاملSemantics of parallelism - non-interleaving representation of behaviour
Want to get experience? Want to get any ideas to create new things in your life? Read semantics of parallelism non interleaving representation of behaviour now! By reading this book as soon as possible, you can renew the situation to get the inspirations. Yeah, this way will lead you to always think more and more. In this case, this book will be always right for you. When you can observe more a...
متن کاملOn the Notion of an Automorphic Representation
SupposeP is a parabolic subgroup ofGwith Levi factor M and σ = ⊗σv a cuspidal representation of M(A). Then Ind σ = ⊗vInd σv is a representation of G(A) which may not be irreducible, and may not even have a finite composition series. As usual an irreducible subquotient of this representation is said to be a constituent of it. For almost all v, Ind σv has exactly one constituent π◦ v containing t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2018
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2018.01.005